From: Vijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
Date: Mon, 1 Feb 2016 09:26:13 +0000 (+0530)
Subject: xen/arm: Set nr_cpu_ids to available number of cpus
X-Git-Tag: archive/raspbian/4.11.1-1+rpi1~1^2~66^2~2740
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=75da1b150e646bb9aaa26c5b2452f0c3e782d302;p=xen.git

xen/arm: Set nr_cpu_ids to available number of cpus

nr_cpu_ids for arm platforms is incorrectly set to NR_CPUS
irrespective of the number of cpus supported by platform.

Signed-off-by: Vijaya Kumar K <Vijaya.Kumar@caviumnetworks.com>
Reviewed-by: Julien Grall <julien.grall@citrix.com>
Reviewed-by: Stefano Stabellini <sstabellini@kernel.org>
---

diff --git a/xen/arch/arm/setup.c b/xen/arch/arm/setup.c
index 2bf4363c12..ee34af7152 100644
--- a/xen/arch/arm/setup.c
+++ b/xen/arch/arm/setup.c
@@ -780,6 +780,8 @@ void __init start_xen(unsigned long boot_phys_offset,
 
     smp_init_cpus();
     cpus = smp_get_max_cpus();
+    printk(XENLOG_INFO "SMP: Allowing %u CPUs\n", cpus);
+    nr_cpu_ids = cpus;
 
     init_xen_time();